Chapter 2
detailed summary tables of results

 2.1 List of integrals sorted by grade for each CAS
  2.1.1 Rubi
  2.1.2 Mathematica
  2.1.3 Maple
  2.1.4 Maxima
  2.1.5 FriCAS
  2.1.6 Sympy
  2.1.7 Giac
  2.1.8 Mupad
 2.2 Detailed conclusion table per each integral for all CAS systems
 2.3 Detailed conclusion table specific for Rubi results

2.1 List of integrals sorted by grade for each CAS

2.1.1 Rubi

A grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23 }

B grade: { }

C grade: { }

F grade: { }

2.1.2 Mathematica

A grade: { 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23 }

B grade: { 1, 8, 10 }

C grade: { }

F grade: { }

2.1.3 Maple

A grade: { 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21 }

B grade: { 1, 8, 10, 22, 23 }

C grade: { }

F grade: { }

2.1.4 Maxima

A grade: { 2, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18 }

B grade: { 1, 3, 8, 10 }

C grade: { }

F grade: { 19, 20, 21, 22, 23 }

2.1.5 FriCAS

A grade: { 1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 19, 20, 21 }

B grade: { 8, 10, 17, 18, 22, 23 }

C grade: { }

F grade: { }

2.1.6 Sympy

A grade: { }

B grade: { }

C grade: { }

F grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23 }

2.1.7 Giac

A grade: { 1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 23 }

B grade: { 8, 10, 22 }

C grade: { }

F grade: { }

2.1.8 Mupad

A grade: { }

B grade: { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23 }

C grade: { }

F grade: { }

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\)











Problem 1 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 55 55 111 102 194 58 0 80 83
normalized size 1 1.00 2.02 1.85 3.53 1.05 0.00 1.45 1.51
time (sec) N/A 0.103 0.164 0.485 0.419 1.405 0.000 0.615 0.479




















Problem 2 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 68 68 50 55 58 71 0 52 134
normalized size 1 1.00 0.74 0.81 0.85 1.04 0.00 0.76 1.97
time (sec) N/A 0.070 0.135 0.451 0.320 0.519 0.000 0.468 0.435




















Problem 3 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A B A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 39 39 62 64 94 38 0 49 51
normalized size 1 1.00 1.59 1.64 2.41 0.97 0.00 1.26 1.31
time (sec) N/A 0.079 0.108 0.448 0.423 0.728 0.000 0.312 0.291




















Problem 4 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 40 40 30 33 31 35 0 34 62
normalized size 1 1.00 0.75 0.82 0.78 0.88 0.00 0.85 1.55
time (sec) N/A 0.049 0.054 0.411 0.322 0.534 0.000 0.524 0.339




















Problem 5 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 9 9 9 19 9 9 0 9 25
normalized size 1 1.00 1.00 2.11 1.00 1.00 0.00 1.00 2.78
time (sec) N/A 0.022 0.009 0.324 0.318 0.700 0.000 0.343 0.294




















Problem 6 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 15 15 30 21 30 25 0 17 45
normalized size 1 1.00 2.00 1.40 2.00 1.67 0.00 1.13 3.00
time (sec) N/A 0.040 0.042 0.377 0.426 0.490 0.000 0.277 0.282




















Problem 7 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 16 16 11 16 18 19 0 14 36
normalized size 1 1.00 0.69 1.00 1.12 1.19 0.00 0.88 2.25
time (sec) N/A 0.042 0.020 0.313 0.322 0.604 0.000 0.567 0.304




















Problem 8 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 31 31 90 64 86 64 0 65 85
normalized size 1 1.00 2.90 2.06 2.77 2.06 0.00 2.10 2.74
time (sec) N/A 0.060 0.046 0.398 0.419 0.481 0.000 0.676 0.298




















Problem 9 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 36 36 26 35 29 45 0 29 80
normalized size 1 1.00 0.72 0.97 0.81 1.25 0.00 0.81 2.22
time (sec) N/A 0.049 0.028 0.385 0.314 0.722 0.000 0.354 0.297




















Problem 10 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A B B B B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 49 49 163 108 134 104 0 109 123
normalized size 1 1.00 3.33 2.20 2.73 2.12 0.00 2.22 2.51
time (sec) N/A 0.081 0.052 0.378 0.418 0.581 0.000 0.333 0.333




















Problem 11 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 58 58 39 55 42 70 0 41 113
normalized size 1 1.00 0.67 0.95 0.72 1.21 0.00 0.71 1.95
time (sec) N/A 0.058 0.051 0.379 0.316 0.632 0.000 0.535 0.431




















Problem 12 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 178 178 172 216 251 260 0 252 445
normalized size 1 1.00 0.97 1.21 1.41 1.46 0.00 1.42 2.50
time (sec) N/A 0.272 0.787 0.426 0.332 1.423 0.000 0.415 2.300




















Problem 13 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 113 113 115 117 120 144 0 139 172
normalized size 1 1.00 1.02 1.04 1.06 1.27 0.00 1.23 1.52
time (sec) N/A 0.167 0.488 0.506 0.320 1.868 0.000 0.226 1.137




















Problem 14 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 66 66 56 60 50 58 0 53 80
normalized size 1 1.00 0.85 0.91 0.76 0.88 0.00 0.80 1.21
time (sec) N/A 0.091 0.061 0.536 0.317 1.249 0.000 0.473 0.442




















Problem 15 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 19 19 11 21 11 11 0 12 55
normalized size 1 1.00 0.58 1.11 0.58 0.58 0.00 0.63 2.89
time (sec) N/A 0.024 0.008 0.325 0.314 0.549 0.000 0.420 0.418




















Problem 16 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 38 38 39 44 42 47 0 44 75
normalized size 1 1.00 1.03 1.16 1.11 1.24 0.00 1.16 1.97
time (sec) N/A 0.063 0.049 0.381 0.311 0.477 0.000 0.653 0.459




















Problem 17 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 72 72 85 100 84 151 0 90 157
normalized size 1 1.00 1.18 1.39 1.17 2.10 0.00 1.25 2.18
time (sec) N/A 0.083 0.135 0.320 0.311 0.511 0.000 0.388 0.567




















Problem 18 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A A B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 122 122 132 181 149 327 0 155 284
normalized size 1 1.00 1.08 1.48 1.22 2.68 0.00 1.27 2.33
time (sec) N/A 0.123 0.282 0.332 0.316 0.559 0.000 0.408 0.870




















Problem 19 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 159 205 194 210 0 483 0 216 4468
normalized size 1 1.29 1.22 1.32 0.00 3.04 0.00 1.36 28.10
time (sec) N/A 0.324 1.072 0.421 0.000 0.576 0.000 0.587 7.377




















Problem 20 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 84 112 87 106 0 296 0 103 2341
normalized size 1 1.33 1.04 1.26 0.00 3.52 0.00 1.23 27.87
time (sec) N/A 0.187 0.267 0.515 0.000 0.471 0.000 0.364 2.258




















Problem 21 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A A F(-2) A F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 61 61 71 105 0 206 0 80 697
normalized size 1 1.00 1.16 1.72 0.00 3.38 0.00 1.31 11.43
time (sec) N/A 0.176 0.064 0.352 0.000 0.595 0.000 0.314 0.526




















Problem 22 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F B B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 91 91 158 206 0 453 0 163 2163
normalized size 1 1.00 1.74 2.26 0.00 4.98 0.00 1.79 23.77
time (sec) N/A 0.289 0.413 0.329 0.000 0.632 0.000 0.380 1.190




















Problem 23 Optimal Rubi Mathematica Maple Maxima Fricas Sympy Giac Mupad










grade A A A B F(-2) B F A B
verified N/A Yes Yes TBD TBD TBD TBD TBD TBD
size 186 186 312 363 0 852 0 299 4075
normalized size 1 1.00 1.68 1.95 0.00 4.58 0.00 1.61 21.91
time (sec) N/A 0.278 0.922 0.340 0.000 0.954 0.000 1.014 1.586










2.3 Detailed conclusion table specific for Rubi results

The following table is specific to Rubi. It gives additional statistics for each integral. the column steps is the number of steps used by Rubi to obtain the antiderivative. The rules column is the number of unique rules used. The integrand size column is the leaf size of the integrand. Finally the ratio \(\frac {\text {number of rules}}{\text {integrand size}}\) is given. The larger this ratio is, the harder the integral was to solve. In this test, problem number [19] had the largest ratio of [.6923]

Table 2.1:Rubi specific breakdown of results for each integral














# grade
number of
steps
used
number of
unique
rules
normalized
antiderivative
leaf size
integrand
leaf size
\(\frac {\text {number of rules}}{\text {integrand leaf size}}\)







1 A 5 3 1.00 13 0.231







2 A 3 2 1.00 13 0.154







3 A 4 3 1.00 13 0.231







4 A 3 2 1.00 11 0.182







5 A 2 2 1.00 11 0.182







6 A 3 2 1.00 13 0.154







7 A 3 2 1.00 13 0.154







8 A 4 3 1.00 13 0.231







9 A 3 2 1.00 13 0.154







10 A 5 3 1.00 13 0.231







11 A 3 2 1.00 13 0.154







12 A 3 2 1.00 13 0.154







13 A 3 2 1.00 13 0.154







14 A 3 2 1.00 11 0.182







15 A 4 4 1.00 11 0.364







16 A 3 2 1.00 13 0.154







17 A 3 2 1.00 13 0.154







18 A 3 2 1.00 13 0.154







19 A 16 9 1.29 13 0.692







20 A 10 9 1.33 13 0.692







21 A 8 8 1.00 13 0.615







22 A 7 7 1.00 13 0.538







23 A 16 9 1.00 13 0.692